prorepresentable functor

射[投]可表示函子